Formal Synthesis of Vallesamidine
نویسندگان
چکیده
منابع مشابه
Chemoenzymatic Enantioselective Formal Synthesis of (-)-Gephyrotoxin-223
(-)-Gephyrotoxin-223 was formally synthesized from chiral synthon 1 which has been chemoenzymatically synthesized in the presence of Candida Antartica lipase.
متن کاملchemoenzymatic enantioselective formal synthesis of (-)-gephyrotoxin-223
(-)-gephyrotoxin-223 was formally synthesized from chiral synthon 1 which has been chemoenzymatically synthesized in the presence of candida antartica lipase.
متن کاملFormal total synthesis of triptolide.
A new approach to the medicinally-important natural product triptolide is significantly shorter than previous syntheses, highly convergent and avoids the use of protecting groups; key features include two Diels-Alder reactions and a new deoxygenative aromatisation process.
متن کاملA formal synthesis of (+)-lactacystin.
A synthetic route to the neurotrophic agent (+)-lactacystin has been developed utilizing a base-promoted intramolecular alkylidenecarbene C-H insertion as the key transformation.
متن کاملFormal Synthesis of Digital Systemsf
An approach, called Formal Synthesis, to the design and ver-iication of digital systems is presented. Working in a goal-directed mode, and starting from a behavioural speciication, a user can interactively generate a design together with a proof of a theorem that asserts its correct-ness. The speciications are expressed in veritas + , a higher-order logic based on type theory. The resultant des...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Helvetica Chimica Acta
سال: 2006
ISSN: 0018-019X,1522-2675
DOI: 10.1002/hlca.200690027